Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
نویسندگان
چکیده
منابع مشابه
Maximum Power Point Tracker for Photovoltaic Systems Based on Moth-Flame Optimization Considering Partial Shading Conditions
The performance of photovoltaic (PV) systems is highly dependent on environmental conditions. Due to probable changes in environmental conditions, the real-time control of PV systems is essential for exploiting their maximum possible power. This paper proposes a new method to track the maximum power point of PV systems using the moth-flame optimization algorithm. In this method, the PV DC-DC co...
متن کاملA Simulation Model for Optimization of the Internal Handling Fleet Size at Shahid Rajaee Container Port Based on Performance Evaluation
The dramatic increasing of sea-freight container transportations and the developing trend for using containers in the multimodal handling systems through the sea, rail, road and land in the present market cause some challenges to the general managers of container terminals such as increasing demand, competitive situation, new investments and expansion of new activities and the need to use new m...
متن کاملVerification of an Evolutionary-based Wavelet Neural Network Model for Nonlinear Function Approximation
Nonlinear function approximation is one of the most important tasks in system analysis and identification. Several models have been presented to achieve an accurate approximation on nonlinear mathematics functions. However, the majority of the models are specific to certain problems and systems. In this paper, an evolutionary-based wavelet neural network model is proposed for structure definiti...
متن کاملSafety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملDesign and Evaluation of a Method for Partitioning and Offloading Web-based Applications in Mobile Systems with Bandwidth Constraints
Computation offloading is known to be among the effective solutions of running heavy applications on smart mobile devices. However, irregular changes of a mobile data rate have direct impacts on code partitioning when offloading is in progress. It is believed that once a rate-adaptive partitioning performed, the replication of such substantial processes due to bandwidth fluctuation can be avoid...
متن کامل